61. Cabal Seminar 77- 79 : proceedings, Caltech-UCLA Logic Seminar, 77- 79
Author:
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Logic, Symbolic and mathematical- Congresses ► Set theory- Congresses ► Recursion theory- Congresses
Classification :
511
C112
62. Cabal Seminar 77-79: proceedings, Caltech-UCLA logic seminar 1977-1979
Author: edited by A. S. Kechris, D. A. Martin, and Y. N. Moschovakis
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Recursion theory,Congresses ، Set theory
Classification :
QA
3
.
L28
no
.
839
63. Cabal seminar 77-79
Author: / edited by A.S. Kechris, D.A. Martin, Y.N. Moschovakis
Library: Library of College of Science University of Tehran (Tehran)
Subject: Logic, Symbolic and mathematical -- Congresses,Set theory -- Congresses,Recursion theory -- Congresses
Classification :
QA
248
.
C35
1977
64. Cabal seminar 79-81 : proceedings, Caltech - UCLA Logic Seminat 1979-1981
Author: edited by A. S. Kechris, D. A. Martin and Y. N. Moschovakis
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Set theory,Congresses ، Recursion theory
Classification :
QA
3
.
L28
Vol
.
1019
65. Cabal seminar 79- 81: proceedings, Caltech- UCLA logic seminar 1979- 81
Author:
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Set therory- Congresses►Recursion theory- Congresses
Classification :
3
.
L28
,
no
.
1019
66. Category Theory Applied to Computation and Control :
Author: by E.G. Manes.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automates mathématiques, Théorie des -- Congrès.,Computer science.,K-theory.
Classification :
QA267
.
B944
1975
67. Category theory and computer science :
Author: Eugenio Moggi, Giuseppe Rosolini (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Categories (Mathematics), Congresses.,Computer science-- Mathematics, Congresses.,Categorieën (wiskunde),Categories (Mathematics),Catégories (mathématiques)-- Congrès.,Computer science-- Mathematics.,Computers.,Informatik,Informatique-- Mathématiques-- Congrès.,Kategorientheorie,Kongress,Theoretische Informatik
Classification :
QA76
.
9
.
M35
C38
1997
68. Classical recursion theory
Author: Odifreddi, Piergiorgio,1950-
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Recursion theory
Classification :
9
.
6
.
O35
69. Classical recursion theory: the theory of functions and sets of natural numbers
Author: Odifreddi, Piergiorgio
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Recursion theory
Classification :
QA
9
.
6
.
O35
1989
70. Classical recursion theory : the theory of functions and sets of natural numbers
Author: / Piergiorgio Odifreddi
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Recursion theory
Classification :
QA9
.
6
.
O35
1989
71. Classical recursion theory : the theory of functions and sets of natural numbers
Author: Piergiorgio Odifreddi
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Recursion theory
Classification :
QA
9
.
6
.
O35
1989
72. Complexity, Logic, and Recursion Theory
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: MATHEMATICS / Applied.,MATHEMATICS / General.
73. Complexity, logic, and recursion theory
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computational complexity. ; Recursion theory. ;
74. Computability :
Author: by Douglas S. Bridges.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematics.,Mathematical Theory.,Mathematics.,Mathematics.,Physical Sciences & Mathematics.
Classification :
QA1-939
75. Computability.
Author: Klaus Weihrauch
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
QA9
.
59
K538
2012
76. Computability
Author: / Nigel Cutland
Library: Library of College of Science University of Tehran (Tehran)
Subject: Computable functions,Recursion theory
Classification :
QA
9
.
59
.
C87
1980
77. Computability, an introduction to recursive function theory
Author: Cutland, Nigel.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Computable functions,، Recursion theory
Classification :
QA
9
.
59
.
C87
1980
78. Computability, an introduction to recursive function theory
Author: / Nigel Cutland
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Computable functions,Recursion theory
Classification :
QA9
.
59
.
C87
79. Computability, an introduction to recursive function theory /
Author: Nigel Cutland
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computable functions,Recursion theory
Classification :
QA9
.
59
.
C87
80. Computability, an introduction to recursive function theory
Author: / Nigel Cutland
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Computable functions,Recursion theory
Classification :
QA9
.
59
.
C87
